Probabilistic proposition